1. Advances in Scientific Visualization
پدیدآورنده : edited by Frits H. Post, Andrea J.S. Hin.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer science.,Computer simulation.,Software engineering.
رده :
Q183
.
9
E358
1992
2. Based Design-Cyber Physical Systems. Model
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Computer simulation. ; Software engineering. ; Computer network architectures. ; Computer science. ; Microprogramming. ; Simulation and Modeling. ;
3. Building Innovation Pipelines through Computer-Aided Innovation
پدیدآورنده : edited by Denis Cavallucci, Roland Guio, Gaetano Cascini.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Artificial intelligence.,Computer science.,Computer simulation.,Computer-aided design.,Engineering mathematics.,Software engineering.
4. Coloured Petri Nets :
پدیدآورنده : by Kurt Jensen.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer science.,Computer simulation.,Software engineering.
رده :
QA267
.
B958
1992
5. Computer Aided Systems Theory -- CAST '94 :
پدیدآورنده : edited by George J. Klir, Tuncer I. Ören.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer science.,Computer simulation.,Software engineering.
6. Cyber Physical Systems. Model-Based Design :
پدیدآورنده : edited by Roger Chamberlain, Walid Taha, Martin Törngren.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer network architectures.,Computer science.,Computer simulation.,Microprogramming.,Software engineering.,Cooperating objects (Computer systems)
رده :
QA76
.
9
.
C65
7. Die Computersimulation :
پدیدآورنده : von Franz-Josef Gaksch.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer science.,Computer simulation.,Software engineering.
رده :
TL152
.
5
V664
1989
8. Handbook of Conceptual Modeling :
پدیدآورنده : David W Embley
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer science.,Computer simulation.,Software engineering.
رده :
QA76
.
9
.
C65
D385
2011
9. Leveraging Applications of Formal Methods, Verification and Validation
پدیدآورنده : edited by Tiziana Margaria, Bernhard Steffen.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer science.,Computer simulation.,Computer system performance.,Software engineering.
10. Models in Software Engineering
پدیدآورنده : edited by Jörg Kienzle
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer science,Computer simulation,Information Systems,Logic design,Software engineering,Computer Science,Information Systems Applications (incl. Internet),Logics and Meanings of Programs,Management of Computing and Information Systems,Programming Languages, Compilers, Interpreters,Simulation and Modeling,Software Engineering
11. Neural network simulation environments
پدیدآورنده :
کتابخانه: کتابخانه و مرکز یادگیری دانشکده پزشکی (تهران)
موضوع : Neural networks(Computer science),Software engineering,Digital computer simulation
رده :
QA76
.
87
.
N477
1993
12. Neural network simulation environments
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Neural networks )Computer science(,، Software engineering,، Digital computer simulation
رده :
QA
76
.
87
.
N477
1994
13. Neural network simulation environments
پدیدآورنده : edited by Josef Skrzypek
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه صنعتی خواجه نصير الدين طوسى (تهران)
موضوع : ، Neural networks )Computer science(,، Software engineering,، Digital computer simulation
رده :
QA
76
.
87
.
N477
1994
14. Neural network simulation environments
پدیدآورنده : edited by Josef Skrzypek
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع : Neural networks )Computer science( , Software engineering , Digital computer simulation
رده :
QA
76
.
87
.
N477
1994
15. Object-oriented analysis and simulation
پدیدآورنده : Hill, David R. C.
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع : Object-oriented programming )Computer science( , Software engineering , Computer simulation , Object-oriented programming
رده :
QA
76
.
64
.
H55
1996
16. Reliability and Safety Assessment of Dynamic Process Systems
پدیدآورنده : edited by Tunc Aldemir, Nathan O. Siu, Ali Mosleh, P. Carlo Cacciabue, B. Gül Göktepe.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer science.,Computer simulation.,Engineering.,Memory management (Computer science).,Microprogramming.,Physics.,Software engineering.
17. Simulation and Model-Based Methodologies:
پدیدآورنده : edited by Tuncer I. Ören, Bernard P. Zeigler, Maurice S. Elzas.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer science.,Computer simulation.,Software engineering.
رده :
QA76
.
9
.
C65
E358
1984
18. Tests and Proofs
پدیدآورنده : edited by Achim D. Brucker, Jacques Julliand
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer science,Computer simulation,Logic design,Software engineering,Computer Science,Logics and Meanings of Programs,Mathematical Logic and Formal Languages,Programming Languages, Compilers, Interpreters,Programming Techniques,Simulation and Modeling,Software Engineering
19. Virtual Environments '98 :
پدیدآورنده : edited by Martin Göbel, Jürgen Landauer, Ulrich Lang, Matthias Wapler.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer science.,Computer simulation.,Software engineering.
رده :
T385
.
E358
1998
20. Virtual Environments and Scientific Visualization '96 :
پدیدآورنده : edited by Martin Göbel, Jacques David, Pavel Slavik, Jarke J. Wijk.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer science.,Computer simulation.,Software engineering.
رده :
T385
.
E358
1996
